Компьютерные системы: точка зрения программиста (глобальное издание): спектр управления потоком: от последовательного к исключительному

Стандартный поток управления — это предсказуемое движение: программа-счётчик переходит с адреса $a_k$ на $a_{k+1}$ на основе последовательной логики или явных переходов. Однако, Исключительный контроль потока (ECF) представляет собой «резкие» переходы, происходящие вне этого нормального потока.

1. Математическая модель

Выполнение процессора представляет собой последовательность $a_0, a_1, \dots, a_{n-1}$, где каждое $a_k$ соответствует инструкции $I_k$. ECF прерывает эту цепочку при изменении состояния процессора — событие— запускает переход к специализированному обработчику, который не находится в непосредственном пути кода приложения.

2. Уровни реализации

ECF мостит разрыв между аппаратным и программным обеспечением. Он охватывает от аппаратно-уровневых исключений (ошибки, прерывания) до уровня ОС: переключение контекста и сигналов.

3. «Резкая» реальность

Независимо от того, нажимает ли пользователь Ctrl+C или системный вызов, запрашивающий доступ к диску, ECF заставляет процессор перейти в другую «реальность» — ядро — обеспечивая, чтобы система оставалась реактивной на изменения состояния.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

Case Study: Analyzing Execution Flow in global-waitprob1.c

Synchronization and ECF Transitions

Consider a program where a parent process calls fork() to create a child, and the parent immediately calls waitpid() to reap it. Analyze the resulting control flow divergence and convergence.

How many output lines does this program generate and what is the ordering principle?

Solution:
The program generates 2 output lines. The ordering is strictly deterministic: the child's output must appear before the parent's final output because waitpid() acts as a synchronization barrier, forcing the parent's sequential flow to pause until the child's exceptional exit state is processed.

Required Output Task: Analyze the global-waitprob1.c execution flow (approx. 200 words).

Solution:
The execution of global-waitprob1.c serves as a textbook illustration of Exceptional Control Flow through process management. Upon reaching the fork() call at address a_k, the system state undergoes a profound transition. The operating system creates a duplicate logical control flow—the child—which begins its own sequence starting from a duplicate set of registers and address space. This creates a divergence where two distinct sequences (a_0...a_n) coexist. The parent process immediately encounters the waitpid() system call, which is a 'Trap' class exception. This call effectively places the parent's sequential instruction stream in a suspended state, waiting for a hardware-triggered event: the child's termination. In this moment, the child process executes its unique path independently. When the child calls exit(), an exceptional event occurs that notifies the kernel. The kernel then context-switches back to the parent, resolving the waitpid() block. This synchronization barrier ensures that the child's logical flow is 'reaped' before the parent proceeds. Ultimately, the two flows, though briefly concurrent and independent, are reconciled by the OS to ensure predictable output, proving that ECF is not chaotic but a highly structured collaboration between the hardware, kernel, and application logic.